Debugging Program Exceptions
نویسندگان
چکیده
University of South Australia, Technische Universität Graz Advanced Computing Research Centre Institute for Software Technology 5095 Mawson Lakes SA, Adelaide, Australia 8010 Graz, Inffeldgasse 16b/2, Austria mayer,mst @cs.unisa.edu.au [email protected] Even with modern software development methodologies, the actual debugging of source code, i.e., location and identification of errors in the program when errant behavior is encountered during testing, remains a crucial part of software development. To apply model-based diagnosis techniques, which have long been state of the art in hardware diagnosis, for automatic debugging, a model of a given program must be automatically created from the source code. This work describes a model that reflects the execution semantics of the Java language, including exceptions and unstructured control flow, thereby providing unprecedented scope in the application of model-based diagnosis to programs. Notably, this approach omits the strict view of a component representing one statement of earlier work and provides a more flexible mapping from code to model.
منابع مشابه
Session Summary: Object Orientation and Exception Handling for Ada
The session started with a consensus view from the group about the powerful contribution potential that exceptions can offer to the construction of reliable systems. Ada has rightly deserved the reputation of being prime language support for the development of systems with reliability characteristics. One would therefore expect that the language should take special care to address the needs of ...
متن کاملVisualizing the Evaluation of Functional Programs for Debugging
In this position paper, we present a prototype of a visualizer for functional programs. Such programs, whose evaluation model is the reduction of an expression to a value through repeated application of rewriting rules, and which tend to make little or no use of mutable state, are amenable to visualization in the same fashion as simple mathematical expressions, with which every schoolchild is f...
متن کاملIchnaea: Statistical Parallel Profiling for Clusters
In this paper, the current state of hardware profiling on networked clusters is examined in some depth, with some conjecture about the near future. Next, an implementation of a simple Unix command-line tool Ichnaea is given. Ichnaea automates the process of clusterwide profiling. Finally, we examine opportunities for extension and further work. Profiling Background Traditionally, a profiler is ...
متن کاملIDebug An Advanced Debugging Framework for Java
IDebug the Infospheres debugging framework is an advanced debug ging framework for Java This framework provides the standard core de bugging and speci cation constructs such as assertions debug levels and categories stack traces and specialized exceptions Debugging function ality can be ne tuned to a per thread and or a per class basis debugging contexts can be stored to and recovered from pers...
متن کاملModeling Programs with Unstructured Control Flow for Debugging
Even with modern software development methodologies, the actual debugging of source code, i.e., location and identification of errors in the program when errant behavior is encountered during testing, remains a crucial part of software development. To apply model-based diagnosis techniques, which have long been state of the art in hardware diagnosis, for automatic debugging, a model of a given ...
متن کامل